Real difference Galois theory

σ-Galois theory of linear difference equations

Inspired by the numerous applications of the differential algebraic independence results from [36], we develop a Galois theory with an action of an endomorphism σ for systems of linear difference equations of the form φ(y) = Ay , where A ∈ GLn(K ) and K is a φσ-field, that is, a field with two given commuting endomorphisms φ and σ, like in Example 2.1. This provides a technique to test whether ...

Galois theory of fuchsian q-difference equations

We propose an analytical approach to the Galois theory of singular regular linear q-difference systems. We use Tannaka duality along with Birkhoff’s classification scheme with the connection matrix to define and describe their Galois groups. Then we describe fundamental subgroups that give rise to a Riemann-Hilbert correspondence and to a density theorem of Schlesinger’s type.

Galois Theory

Galois Theory

Remark 0.1 (Notation). |G| denotes the order of a finite group G. [E : F ] denotes the degree of a field extension E/F. We write H ≤ G to mean that H is a subgroup of G, and N G to mean that N is a normal subgroup of G. If E/F and K/F are two field extensions, then when we say that K/F is contained in E/F , we mean via a homomorphism that fixes F. We assume the following basic facts in this set...

Galois Theory

Proposition 1.3. Let φ be an automorphism of a field extension K/F , and f(x) ∈ F [x]. Let α1, . . . , αn be the roots of f(x) lying in K. Then φ permutes the set {α1, . . . , αn}. If also the set of αi generate K over F , then two automorphisms φ1, φ2 of K/F which agree on all the αi are equal. Thus, in this case we have an inclusion of Aut(K/F ) as a subgroup of Sym({α1, . . . , αn}) ∼= Sn. P...